Buy Used and New Lawrence C. Paulson Books

Isabelle: A Generic Theorem Prover (Lecture Notes in Computer Science): 828

by Lawrence C. Paulson

ISBN 13: 9783540582441

Format: Illustrated (344 pages)
Publisher: Springer
Published: 09 Sep 1994

Save for later

Isabelle/HOL: A Proof Assistant for Higher-Order Logic: 2283 (Lecture Notes in Computer Science, 2283)

by Tobias Nipkow,Lawrence C. Paulson,Markus Wenzel

ISBN 13: 9783540433767

Format: Illustrated (240 pages)
Publisher: Springer
Published: 03 Apr 2002

Save for later